M. Fitting; "Proof Methods for Modal and Intuitionistic Logics"